Algebraic data type - PDFSEARCH.IO - Document Search Engine

Algebraic data type
Results: 119

#	Item
51	CS109B ML Notes for the Week ofAbstypes Goal: complete concealment of the values of a datatype. It is impossible to access values of this Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 01:01:47 Procedural programming languages Data types C++ Functional programming Type theory C++ classes Stack Functor Algebraic data type Software engineering Computing Computer programming
52	MiniAgda: Integrating Sized and Dependent Types Andreas Abel∗ Department of Computer Science Ludwig-Maximilians-University Munich Abstract Sized types are a modular and theoretically well-understood tool for checking t Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2010-05-11 12:12:37 Functional programming Type theory Data types Recursion Category theory System F F-algebra Algebraic data type Fold Software engineering Computer programming Computing
53	Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:26 Type theory Data types Functional languages Formal methods Theoretical computer science Dependent type Lambda calculus Type system Generalized algebraic data type Programming language theory Software engineering Computing
54	slide 1 gaius Stacks the behaviour of stack methods are to: Add to Reading List Source URL: floppsie.comp.glam.ac.uk Language: English - Date: 2015-02-04 11:33:45 Computing Subroutines Mathematics Abstract data type Stack-oriented programming language Stack Software engineering Algebraic stack
55	Dependently Typed Programming with Singletons Richard A. Eisenberg Stephanie Weirich University of Pennsylvania Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:08 Programming language theory Data types Functional programming Functional languages Generalized algebraic data type Type class Algebraic data type Haskell Generic programming Software engineering Type theory Computing
56	PolyAML: A Polymorphic Aspect-oriented Functional Programming Language Daniel S. Dantas Geoffrey Washburn Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:49:28 Type theory Aspect-oriented software development Aspect-oriented programming Data types Functional languages Pointcut Generalized algebraic data type Standard ML Type system Software engineering Software development Computing
57	draft Church Encoding of Data Types Considered Harmful for Implementations – Functional Pearl – Pieter Koopman Add to Reading List Source URL: ifl2014.github.io Language: English - Date: 2015-03-04 15:20:42 Recursion Type theory Data types Lambda calculus Computability theory Church encoding Recursive data type Mogensen–Scott encoding Algebraic data type Software engineering Computing Computer programming
58	Open Data Types and Open Functions Andres L¨oh Ralf Hinze Institut f¨ur Informatik III, Universit¨at Bonn Add to Reading List Source URL: www.andres-loeh.de Language: English - Date: 2015-03-03 07:36:01 Type theory Functional programming Data types Recursion Higher-order functions Generalized algebraic data type Algebraic data type Eval Type system Software engineering Computing Computer programming
59	This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution and shar Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:41:52 Mathematics Algebraic logic Boolean data type Logical disjunction FO Boolean algebras canonically defined Abstract algebra Boolean algebra Mathematical logic
60	AURA: Preliminary Technical Results University of Pennsylvania Technical Report MS-CISApril 17, 2008 Limin Jia Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Type theory Dependently typed programming Functional languages Logic in computer science Lambda calculus Calculus of constructions Generalized algebraic data type Monad Curry–Howard correspondence Software engineering Declarative programming Programming language theory

UPDATE